Jürgen Ziechmann < Jürgen Zimmer < K C Harvey

Facettes :

List of bibliographic references indexed by Jürgen Zimmer

Number of relevant bibliographic references: 3.

Ident.	Authors (with country if any)	Title
002168 (2002)	Jürgen Zimmer [Allemagne] ; Michael Kohlhase [États-Unis]	System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning
002178 (2002)	Jürgen Zimmer [Royaume-Uni] ; A. Dennis [Pays-Bas, Royaume-Uni]	Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus
002770 (2000)	Erica Melis [Allemagne] ; Jürgen Zimmer [Allemagne] ; Tobias Müller [Allemagne]	Integrating Constraint Solving into Proof Planning

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Jürgen Zimmer" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Jürgen Zimmer" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Musique
   |area=    MozartV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Jürgen Zimmer
}}

---

This area was generated with Dilib version V0.6.20. Data generation: Sun Apr 10 15:06:14 2016. Site generation: Tue Feb 7 15:40:35 2023